represent to

Because the first order logic can characterize the computational semantics of a software component, it has become an important research direction in software engineering domain to use first order logic to represent a component and to use resolution based automatic theorem proving technology to retrieve it.

由于一阶逻辑能够描述软件构件的计算语义，因此用一阶逻辑表示构件及用基于归结原理的自动定理证明技术检索构件的研究在软件工程领域得到了足够的重视。

互联网摘选

I will represent to him the risks he is running.

我将向他说明他所冒的危险.

词典精选例句

I'm pleased to have the honor to represent the whole staff of our school to extend our warmest greetings to the foreign friends, guests and all students!

在此，我谨代表棠湖中学全体师生，对来自大洋彼岸的北美朋友、对各位来宾和各位同学表示最热烈的欢迎和最亲切的问候！

互联网摘选

Many represent districts with few Latino voters are the pressure to pass it now is not as great as it will be after the midterm election when Republicans were looking to run for president in the national election and they have to repeal to the growing block of Hispanic voters.

许多地区的拉美裔选民非常少，现在通过这份法案的压力，比在中期选举以后，共和党在国家选举中竞选总统时再通过的压力要小，到时他们不得不废除阻止拉美裔选民的政策。

互联网摘选

Comparing the general vertical tendon, the advantage of U type vertical tendon represent to bring monolithic precompression stress on web concrete in the U region, which restrict the appearance and magnitude of web principle tensile stress.

与普通型竖筋相比，U型竖筋的优势是可以使U型区域内的腹板混凝土受到整体预压应力作用，限制腹板主拉应力的出现和大小。

互联网摘选

So what does an Olympic mascot represent to the world?

那么，对于全世界来说奥运吉祥物代表着什么呢？

互联网摘选

I'll represent to him the risk he is running.

我要向他指出他所面临的险境.

《简明英汉词典》

Whilst short sleep may represent a cause of ill-health, long sleep is believed to represent more an indicator of ill-health.

可知睡眠过短可能是疾病产生的原因，但睡眠过长却更有可能是存在疾病的指示器。所以。

互联网摘选

Therefore I represent to ask that the manager discontented person sues asks the manager!

所以我代表问不满的人起诉的经理要求经理!

网络文摘精选

A lawyer was appointed to represent the child.

一位律师被指定为这个孩子的代表律师。

《牛津高阶英汉双解词典》

To use cubic spline fitted logging data, count out and resample logging traces corresponding to apparent thickness, then represent to true thickness borehole column, thereby the true thickness contrast section is plotted.

采用三次样条函数拟合测井数据，并使用新的采样间隔对其进行采样，将采样数据映射到真厚的钻孔柱状图上，从而绘制出真厚对比图。

互联网摘选

My only aim is to represent Britain at the Olympics.

我唯一的目标是代表英国参加奥运会。

《柯林斯高阶英汉双解学习词典》

Growing levels of pollution represent a serious health hazard to the local population.

日益严重的污染对当地人民的健康构成了重大威胁。

《牛津高阶英汉双解词典》

We let only the Hartree-Fock self-energy of nucleon represent to be the real part of the microscopic optical potential and the fourth order of meson exchange diagrams, i. e. the core polarization represent the imaginary part of microscopic optical potential in nuclear matter.

对于核物质，取核子的Hartree-Fock自能为光学势的实部，交换σ和ω介子的极化图为光学势的虚部。

互联网摘选

First used in the 1950s in the US to represent the sound of a car engine running.

20世纪50年代在美国首次使用，表示汽车发动机运转的声音。

《牛津高阶英汉双解词典》

The association was formed to represent the interests of women artists.

成立这个协会是为了维护女性艺术家的利益。

《牛津高阶英汉双解词典》